Rooter: A Methodology for the Typical Unification of Access Points and Redundancy Jeremy Stribling, Daniel Aguayo and Maxwell Krohn A BSTRACT Many physicists would agree that, had it not been for congestion control, the

Source URL: pdos.csail.mit.edu

• Theoretical computer science
• Mathematics
• Theory of computation
• Computability theory
• Models of computation
• Mathematical logic
• Formal methods
• Algorithm
• Turing machine
• Randomized algorithm
• IP
• Alan Turing

A Relatively Small Turing Machine Whose Behavior Is Independent of Set Theory Adam Yedidia Scott Aaronson

Source URL: www.scottaaronson.com

• Mathematics
• Theoretical computer science
• Computability theory
• Mathematical logic
• Theory of computation
• Turing machine
• Models of computation
• Busy beaver
• Halting problem
• ZermeloFraenkel set theory
• Computability
• Computable function

Representational Complexity of Reactive Agents Frederick W. P. Heckel, Member, IEEE, G. Michael Youngblood, Member, IEEE, and Nikhil S. Ketkar Abstract— Reactive agents are an important part of video games and numerous

Source URL: game.itu.dk

• Artificial intelligence
• Software architecture
• Software engineering
• Cognitive architecture
• Automated planning and scheduling
• Cognitive science
• Subsumption architecture
• Models of computation
• Behavior tree
• Finite-state machine
• Intelligent agent
• Agent architecture

PROOFS AND TYPES JEAN-YVES GIRARD Translated and with appendices by PAUL TAYLOR

Source URL: www.cs.man.ac.uk

• Logic
• Mathematical logic
• Theoretical computer science
• Proof theory
• Logic in computer science
• Models of computation
• Formal methods
• Metalogic
• Denotational semantics
• Linear logic
• Natural deduction
• Cut-elimination theorem

IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTATION, VOL. 10, NO. 1, FEBRUARYEvolving the Structure of Hidden Markov Models Kyoung-Jae Won, Adam Prügel-Bennett, and Anders Krogh

Source URL: people.binf.ku.dk

Monadic Translation of Multi-Staged Languages Ludovic Patey Kwangkeun Yi

Source URL: ludovicpatey.com

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Models of computation
• Monad
• Substitution
• Lambda calculus

Parallelizing Audio Feature Extraction Using an Automatically-Partitioned Streaming Dataflow Language Eric Battenberg, Mark Murphy Introduction

Source URL: www.ericbattenberg.com

• Computing
• Parallel computing
• Computer architecture
• Analysis of parallel algorithms
• Programming paradigms
• Models of computation
• Speedup
• Multi-core processor
• Intel Core
• Granularity
• Dataflow programming
• Dataflow

ROSAEC MEMO ROSAECSeptember 6, 2011 CPS Transformation of Lisp-Like Multi-Staged Languages

Source URL: ludovicpatey.com

• Software engineering
• Logic
• Declarative programming
• Models of computation
• Computability theory
• Lambda calculus
• Theoretical computer science
• Continuation-passing style
• Free variables and bound variables
• Substitution

Wavelike Design of Social Agents Simulated as System of Interacting Net of Neural Networks Darius Plikynas Informatics department, Vilnius Management Academy,

Source URL: necsi.edu

• Simulation
• Models of computation
• Systems theory
• Scientific modeling
• Complex systems theory
• Agent-based model
• Multi-agent system
• Social simulation
• Artificial neural network
• Computational model
• Agent
• Self-organization

Online Appendix to: MAPE-K Formal Templates to Rigorously Design Behaviors for Self-Adaptive Systems DIDAC GIL DE LA IGLESIA, Linnaeus University DANNY WEYNS, Linnaeus University

Source URL: homepage.lnu.se

• Finite automata
• Timed automaton
• Finite-state machine
• Clock
• Cellular automata
• Models of computation